Spatial Aggregation: Theory and Applications

Visual thinking plays an important role in scientific reasoning. Based on the research in automating diverse reasoning tasks about dynamical systems, nonlinear controllers, kinematic mechanisms, and fluid motion, we have identified a style of visual thinking, imagistic reasoning. Imagistic reasoning organizes computations around image-like, analogue representations so that perceptual and symbolic operations can be brought to bear to infer structure and behavior. Programs incorporating imagistic reasoning have been shown to perform at an expert level in domains that defy current analytic or numerical methods. We have developed a computational paradigm, spatial aggregation, to unify the description of a class of imagistic problem solvers. A program written in this paradigm has the following properties. It takes a continuous field and optional objective functions as input, and produces high-level descriptions of structure, behavior, or control actions. It computes a multi-layer of intermediate representations, called spatial aggregates, by forming equivalence classes and adjacency relations. It employs a small set of generic operators such as aggregation, classification, and localization to perform bidirectional mapping between the information-rich field and successively more abstract spatial aggregates. It uses a data structure, the neighborhood graph, as a common interface to modularize computations. To illustrate our theory, we describe the computational structure of three implemented problem solvers -- KAM, MAPS, and HIPAIR --- in terms of the spatial aggregation generic operators by mixing and matching a library of commonly used routines.Comment: See http://www.jair.org/ for any accompanying file

Assessment of Sustainable Development

The objective of this paper is to introduce fuzzy set theory and develop fuzzy mathematical models to assess sustainable development based on context-dependent economic, ecological, and societal sustainability indicators. Membership functions are at the core of fuzzy models, and define the degree to which indicators contribute to development. Although a decision-making process regarding sustainable development is subjective, fuzzy set theory links human expectations about development, expressed in linguistic propositions, to numerical data, expressed in measurements of sustainability indicators. In the future, practical implementation of such models will be based on elicitation of expert knowledge to construct a membership function. The fuzzy models developed in this paper provide a novel approach to support decisions regarding sustainable development.agriculture;assessment;fuzzy set theory;sustainable development

A study of blow-ups in the Keller-Segel model of chemotaxis

We study the Keller-Segel model of chemotaxis and develop a composite particle-grid numerical method with adaptive time stepping which allows us to accurately resolve singular solutions. The numerical findings (in two dimensions) are then compared with analytical predictions regarding formation and interaction of singularities obtained via analysis of the stochastic differential equations associated with the Keller-Segel model